<HTML><HEAD><TITLE>library(ic_global)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(ic_global)</H1>
Various global constraints over lists of IC variables
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="alldifferent-1.html"><STRONG>alldifferent(+Vars)</STRONG></A></DT>
<DD>All members of Vars are different</DD>
<DT><A HREF="alldifferent-2.html"><STRONG>alldifferent(+Vars, ++Capacity)</STRONG></A></DT>
<DD>Vars contains at most Capacity elements of each value</DD>
<DT><A HREF="atmost-3.html"><STRONG>atmost(+N, ?Vars, +V)</STRONG></A></DT>
<DD>At most N elements of Vars have the value V.</DD>
<DT><A HREF="element-3.html"><STRONG>element(?Index, ++List, ?Value)</STRONG></A></DT>
<DD>Value is the Index'th element of the integer list List.</DD>
<DT><A HREF="lexico_le-2.html"><STRONG>lexico_le(+List1, +List2)</STRONG></A></DT>
<DD>List1 is lexicographically less or equal to List2</DD>
<DT><A HREF="maxlist-2.html"><STRONG>maxlist(+List, ?Max)</STRONG></A></DT>
<DD>Max is the maximum of the values in List</DD>
<DT><A HREF="minlist-2.html"><STRONG>minlist(+List, ?Min)</STRONG></A></DT>
<DD>Min is the minimum of the values in List</DD>
<DT><A HREF="occurrences-3.html"><STRONG>occurrences(++Value, +Vars, ?N)</STRONG></A></DT>
<DD>The value Value occurs in Vars N times</DD>
<DT><A HREF="ordered-2.html"><STRONG>ordered(++Relation, +List)</STRONG></A></DT>
<DD>Constrains List to be ordered according to Relation</DD>
<DT><A HREF="ordered_sum-2.html"><STRONG>ordered_sum(+List, ?Sum)</STRONG></A></DT>
<DD>The list elements are ordered and their sum is Sum</DD>
<DT><A HREF="sorted-2.html"><STRONG>sorted(?List, ?Sorted)</STRONG></A></DT>
<DD>Sorted is a sorted permutation of List</DD>
<DT><A HREF="sorted-3.html"><STRONG>sorted(?List, ?Sorted, ?Positions)</STRONG></A></DT>
<DD>Sorted is a sorted permutation (described by Positions) of List</DD>
<DT><STRONG>sum_ge_zero(?)</STRONG></DT>
<DD>No description available</DD>
<DT><A HREF="sumlist-2.html"><STRONG>sumlist(+List, ?Sum)</STRONG></A></DT>
<DD>The sum of the list elements is Sum</DD>
<DT><STRONG>tr_global_out(?, ?)</STRONG></DT>
<DD>No description available</DD>
</DL>
</BLOCKQUOTE>
<H2>Reexports</H2>
<BLOCKQUOTE><DL>
</DL></BLOCKQUOTE>
<H2>Other Exports</H2>
<BLOCKQUOTE><DL>
<DT><STRONG>export portray(atmost1 / 3, tr_global_out / 2, [goal])</STRONG></DT><DD></DD>
<DT><STRONG>export portray(occurrences / 5, tr_global_out / 2, [goal])</STRONG></DT><DD></DD>
</DL></BLOCKQUOTE>
<H2>About</H2><UL COMPACT>
<LI><STRONG>Author: </STRONG>J.Schimpf, V.Liatsos, S.Novello, M.Wallace, A.Sadler, IC-Parc
<LI><STRONG>Copyright &copy; </STRONG>Cisco Systems, Inc.
<LI><STRONG>Date: </STRONG>$Date: 2009/02/19 05:45:20 $
</UL>
<HR>Generated from ic_global.eci on 2009-05-27 01:25
</BODY></HTML>
